1. An introduction to mathematical logic and type theory :
Author: by Peter B. Andrews.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Type theory.
Classification :
QA9
.
B974
2011
2. An introduction to mathematical logic and type theory: to truth through proof
Author: Andrews, P. B. )Peter Bruce(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
2002
3. An introduction to mathematical logic and type theory : to truth through proof
Author: Andrews, Peter Bruce
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
1986
4. An introduction to mathematical logic and type theory. to truth through proof
Author: Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
5. An introduction to mathematical logic and type theory: to truth through proof
Author: Andrews, Peter Bruce
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
6. Proofs and types
Author: / Jean-Yves Girard
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory,Logic, Symbolic and mathematical,Type theory
Classification :
E-BOOK
